Term Rewriting and All That
Paperback
Published 08 May 1999
Save $7.29
- RRP $72.46
- $65.17
Search for "Tobias Nipkow"
16 results
-
$7.29off
-
Concrete Semantics : With Isabe...
Hardback
Published 15 Dec 2014- $107.61
-
$6.75off
Rewriting Techniques and Applic...
Paperback
Published 11 Mar 1998Save $6.75
- RRP $61.51
- $54.76
-
$6.85off
Concrete Semantics
Paperback
Published 10 Sep 2016Save $6.85
- RRP $61.51
- $54.66
-
$6.33off
Types for Proofs and Programs
Paperback
Published 20 May 1994Save $6.33
- RRP $61.51
- $55.18
-
$9.22off
Isabelle/HOL
Paperback
Published 03 Apr 2002Save $9.22
- RRP $68.35
- $59.13
-
$4.57off
Theorem Proving in Higher Order...
Paperback
Published 04 Aug 2009Save $4.57
- RRP $61.51
- $56.94
-
$2.43off
Higher-Order Algebra, Logic, an...
Paperback
Published 28 Jul 1994Save $2.43
- RRP $61.51
- $59.08
-
$5.70off
Automated Reasoning
Paperback
Published 06 Jun 2001Save $5.70
- RRP $123.03
- $117.33
-
Automated Reasoning
Paperback
Published 12 Mar 2014- $62.71
-
$21.14off
FM 2006
Paperback
Published 10 Aug 2006Save $21.14
- RRP $129.20
- $108.06
-
Types for Proofs and Programs
Paperback
-
Term Rewriting and All That
Hardback
Published 05 Mar 1998 -
Software Safety and Security
Hardback
Published 15 May 2012 -
Higher-Order Algebra, Logic, an...
Paperback
-
Formal Logical Methods for Syst...
Hardback
Published 01 Jan 2008